(try_window_id): When scrolling on a terminal, take

the change of window_internal_height into account.

diff --git a/src/xdisp.c b/src/xdisp.c
index 2a17d947216ceda960f0acf07934bd3b89ea8617..61fb6334678e972b89756757fd66a8fce491b641 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -11428,7 +11428,9 @@ try_window_id (w)
          int first_unchanged_at_end_vpos
            = MATRIX_ROW_VPOS (first_unchanged_at_end_row, w->current_matrix);
          int from = XFASTINT (w->top) + first_unchanged_at_end_vpos;
-         int end = XFASTINT (w->top) + window_internal_height (w);
+         int end = (XFASTINT (w->top)
+                    + (WINDOW_WANTS_HEADER_LINE_P (w) ? 1 : 0)
+                    + window_internal_height (w));
          
          /* Perform the operation on the screen.  */
          if (dvpos > 0)